10

Comprehensive analysis of FBD test coverage criteria using mutants

Year:
2016
Language:
english
File:
PDF, 1.02 MB
english, 2016
16

Timing consistency checking for UML/MARTE behavioral models

Year:
2016
Language:
english
File:
PDF, 5.01 MB
english, 2016